Embedded Decision in the LAAS Architecture

نویسندگان

  • Solange Lemai
  • Félix Ingrand
  • Matthieu Gallien
چکیده

Despite the presence of an AI planner (STRIPS) on one of the very first mobile robot (Shakey), one must admit that few of our nowadays robots embed and run a tasks/activities planner. However, the need for embedding such a deliberative activity is definitely present. For example, if one consider exploration robotics, the ESA Exomars project (part of Aurora) aims at having the rover, during one day, navigating over its “field of view” with navigation and activity decisions taken on board. NASA MSL will also push the autonomy cursor further than for MER1. Last, the “Human on Mars” goal will require the deployment of a large number of autonomous systems to “prepare” and study the planet before a human can set foot on it. It is clear that the “future” of exploration rovers and probes lies in an increased autonomy addressing the problems of action planning, and plan execution control. Even closer to us, service robots will need a high level planner, to provide the robustness one expects. Meanwhile, recent developments in the AI planning community, combined with the computational power available on robots now allow for embedding planning activities. Indeed, planning systems are now taking into account time and resources, which are two essential features for planning in the real world. Moreover, they are “execution” aware and either produce: contingent plans, plans as policies, plans dealing with uncertainties, or as we will show in this paper plans which can be repaired (locally) while other parts remain executable. If one looks at the current state of the art, few high level planning systems have been integrated onboard real robots, many architectures (such as Claraty [3]) provide a “decisional” level where such components can sit, but little was done as far as deploying it on real systems. The main reason is probably that despite the availability of good planning systems, few of them integrate the proper plan repair and replanning mechanisms. Still, the ROGUE system [4], for instance, performs planning for asynchronous goals and execution monitoring enhanced with learning capabilities. In [5], the authors propose a different approach where the plans themselves specify the adaptation processes as subplans. In any case, very few

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Toward a More Dependable Software Architecture for Autonomous Robots

Autonomous robots are complex systems that require the interaction/cooperation of numerous heterogeneous software components. Nowadays, robots are getting closer to humans and as such are becoming critical systems which must meet safety properties including in particular logical, temporal and real-time constraints. We present an evolution of the LAAS Architecture for Autonomous System and its t...

متن کامل

Real-Time Execution Control for Autonomous Systems

There is an increasing need for advanced autonomy in complex embedded real-time systems such as robots, satellites, or UAVs. Still, the growing complexity of the decision capabilities of these systems raises a major problem: how to prove that the system is not going to end in a dangerous state (for itself or for humans)? How to guarantee that the robot will not grab a sample on the ground with ...

متن کامل

A generic modular architecture for the control of an autonomous spacecraft

In this paper, we present the result of the work that has been done in the CNES-ONERA-LAAS AGATA project on a generic modular architecture for the control of an autonomous spacecraft. The main features of the proposed architecture are (1) its genericity which goes far beyond the space domain, (2) its adequacy for closed loop control of any (sub)system (state and objective tracking, decision mak...

متن کامل

A Comprehensive Integrity Verification Architecture for On-Airport LAAS Category III Precision Landing

Future Local Area Augmentation System (LAAS) architectures will most likely be constrained to lie on airport property. Such a system must provide protection against rare events in the GPS Signal in Space (SIS) that pose danger to airborne users conducting Category III precision landings. By allowing the aircraft to combine ground integrity information with its own checks in order to make the fi...

متن کامل

A Verifiable and Correct-by-Construction Controller for Robot Functional Levels

Autonomous robots are complex systems that require the interaction and cooperation between numerous heterogeneous software components. In recent times, robots are being increasingly used for complex and safety-critical tasks, such as exploring Mars and assisting/replacing humans. Consequently, robots are becoming critical systems that must meet safety properties, in particular, logical, tempora...

متن کامل

Embedded Memory Test Strategies and Repair

The demand of self-testing proportionally increases with memory size in System on Chip (SoC). SoC architecture normally occupies the majority of its area by memories. Due to increase in density of embedded memories, there is a need of self-testing mechanism in SoC design. Therefore, this research study focuses on this problem and introduces a smooth solution for self-testing.  In the proposed m...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2005